Approximation of Stochastic Petri Nets Steady State by Cpn with Piecewise-constant Maximal Firing Speeds
نویسندگان
چکیده
Reliability analysis for reparable multi-components systems is based on stochastic discrete event models like Markov models or Stochastic Petri Nets (SPNs). When the number of components increases, the analytical expression of the steady state is tedious to work out because of the combinatory explosion with discrete models. For this reason, fluidification is investigated to estimate the asymptotic behaviour of the stochastic processes with Continuous Petri Nets (CPNs). The contributions of this paper are to point out the limits of the CPNs to approximate the stochastic steady state and to propose continuous Petri nets with piecewise-constant maximal firing speeds for fluidification.
منابع مشابه
A Novel Continuous Model to Approximate Time Petri Nets: Modelling and Analysis
In order to approximate discrete-event systems in which there exist considerable states and events, David and Alla define a continuous Petri net (CPN). So far, CPNs have been a useful tool not only for approximating discrete-event systems but also for modelling continuous processes. Due to different ways of calculating instantaneous firing speeds of transitions, various continuous Petri net mod...
متن کاملFluidification of Stochastic Petri Net by Non Linear Timed Continuous Petri Net
Reliability analysis is often based on stochastic discrete event models like Markov models or stochastic Petri nets. For complex dynamical systems with numerous components, analytical expressions of the steady state are tedious to work out because of the combinatory explosion with discrete models. Moreover, the convergence of stochastic estimators is slow. For these reasons, fluidification can ...
متن کاملHybrid Stochastic Petri Nets: Firing Speed Computation and Fms Modelling
In this paper we adopt the fluid approximation theory to describe the dynamic behavior of Flexible Manufacturing Systems that we model with Hybrid Stochastic Petri Nets, a class of nets in which some places may hold fluid rather than discrete tokens. The continuous transitions of the net are fired with speeds that are piecewise constants over the entire time horizon and their instantaneous valu...
متن کاملDynamics and steady state analysis of controlled Generalized Batches Petri Nets
This paper is dedicated to an extended class of hybrid Petri nets called controlled Generalized Batches Petri Nets. The novel feature of these nets is that the firing flow of continuous and batch transitions and the transfer speed of batch places are control variables. First we propose a linear programming problem to compute the instantaneous firing flow vector and the instantaneous transfer sp...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کامل